1. Verification of reactive systems
پدیدآورنده : / Klaus Schneider
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Computer systems- - Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2003
2. Verification of reactive systems
پدیدآورنده : / Klaus Schneider
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Computer systems -- Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2004
3. Verification of reactive systems :
پدیدآورنده : Klaus Schneider.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
رده :
QA76
.
76
.
V47
K538
2004
4. Verification of reactive systems: formal methods and algorithms
پدیدآورنده : Schneider, Klaus
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
رده :
QA
76
.
76
.
V47
.
S34
2003
